The Object Constraint Language for UML 2.0 – Overview and Assessment
نویسندگان
چکیده
In parallel to the release of UML 2.0, also a new version of the Object Constraint Language (OCL) has been published. OCL is a language for precise textual description of constraints which apply to the graphical UML models. The new OCL 2.0 standard goes far beyond the previous language, not so much in features but mainly in the approach chosen for laying much more precise and formal foundations for the language. This paper, authored by members of the OCL 2.0 team, gives an overview of the new aspects of OCL 2.0 and also provides a critical discussion of a few selected aspects of the language.
منابع مشابه
Implementing an OCL 2.0 Compiler for Metamodeling Environments
The Unified Modeling Language (UML) has become a standard in modeling, but it cannot express all the necessary modeling information between the model items. Object Constraint Language (OCL) is used to extend the capabilities of UML diagrams, and define constraints for the model items. The combination of UML and OCL can be used to realize vision of OMG’s Model Driven Architecture (MDA). OCL is b...
متن کاملSemantics of State-Oriented Expressions in the Object Constraint Language
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). It is primarily used to formulate restrictions for UML class diagrams. Additionally, it is possible to refer to UML Statechart states in OCL expressions to reason about currently activated states. However, neither the current OCL standard nor the proposal for the new OCL 2.0 version integrat...
متن کاملAgent Modeling Language (AML): A Comprehensive Approach to Modeling MAS
The Agent Modeling Language (AML) is a semi-formal visual modeling language for specifying, modeling and documenting systems that incorporate features drawn from multi-agent systems theory. It is specified as an extension to UML 2.0 in accordance with major OMG modeling frameworks (MDA, MOF, UML, and OCL). The ultimate objective of AML is to provide software engineers with a ready-to-use, compl...
متن کاملModeling of login procedure for wireless application with interaction overview diagrams
In this paper we describe in details UML modeling of login procedure, which is a part of UserBarCodeReader application, developed for large stores and intended for use as a customer support during the shopping session. Login procedure is realized within access control system, in this case over a wireless network. Paper gives the whole modeling and implementation cycle of login procedure, from U...
متن کاملTowards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization process, a proposal for the new version OCL 2.0 has recently been adopted by the Object Management Group. This proposal provides extensive semantic descriptions by both a metamodelbased as well as a formal mathematical...
متن کامل